[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 61 85 64 73 126 0 81 90

N.S.

1 0.90 1.25 0.94 1.07 1.85 0.00 1.19 1.32

time (sec)

N/A 0.357 0.196 0.329 0.217 0.267 0.000 0.420 11.051

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 68 109 90 83 170 0 129 145

N.S.

1 0.84 1.35 1.11 1.02 2.10 0.00 1.59 1.79

time (sec)

N/A 0.405 0.173 0.350 0.219 0.286 0.000 0.476 10.662

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 99 359 120 106 222 0 148 180

N.S.

1 0.90 3.26 1.09 0.96 2.02 0.00 1.35 1.64

time (sec)

N/A 0.416 6.193 0.412 0.217 0.288 0.000 0.447 9.875

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 128 159 132 120 196 0 135 287

N.S.

1 1.27 1.57 1.31 1.19 1.94 0.00 1.34 2.84

time (sec)

N/A 0.576 0.778 0.242 0.330 0.264 0.000 0.413 15.821

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 91 131 89 95 168 0 86 182

N.S.

1 1.06 1.52 1.03 1.10 1.95 0.00 1.00 2.12

time (sec)

N/A 0.715 1.298 0.197 0.294 0.278 0.000 0.532 14.294

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 67 79 61 71 141 0 67 102

N.S.

1 1.06 1.25 0.97 1.13 2.24 0.00 1.06 1.62

time (sec)

N/A 0.530 0.140 0.185 0.306 0.287 0.000 0.311 11.113

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 56 72 35 56 98 0 38 34

N.S.

1 0.93 1.20 0.58 0.93 1.63 0.00 0.63 0.57

time (sec)

N/A 0.369 1.440 0.150 0.213 0.279 0.000 0.306 10.242

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 74 106 71 90 231 0 73 98

N.S.

1 1.01 1.45 0.97 1.23 3.16 0.00 1.00 1.34

time (sec)

N/A 0.525 1.198 0.264 0.220 0.283 0.000 0.313 10.634

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 96 135 93 107 329 0 118 144

N.S.

1 1.10 1.55 1.07 1.23 3.78 0.00 1.36 1.66

time (sec)

N/A 0.727 0.893 0.291 0.258 0.272 0.000 0.322 10.234

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 132 190 119 160 428 0 150 182

N.S.

1 1.06 1.52 0.95 1.28 3.42 0.00 1.20 1.46

time (sec)

N/A 0.886 1.483 0.344 0.242 0.273 0.000 0.346 9.792

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 123 177 134 165 220 0 187 317

N.S.

1 1.03 1.49 1.13 1.39 1.85 0.00 1.57 2.66

time (sec)

N/A 0.369 1.230 0.296 0.312 0.264 0.000 0.364 17.332

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 105 159 125 145 196 0 135 287

N.S.

1 1.04 1.57 1.24 1.44 1.94 0.00 1.34 2.84

time (sec)

N/A 0.346 6.281 0.237 0.313 0.270 0.000 0.334 16.018

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 88 103 96 107 169 0 87 182

N.S.

1 1.14 1.34 1.25 1.39 2.19 0.00 1.13 2.36

time (sec)

N/A 0.549 1.200 0.257 0.317 0.259 0.000 0.324 12.676

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 68 107 54 84 143 0 67 102

N.S.

1 1.06 1.67 0.84 1.31 2.23 0.00 1.05 1.59

time (sec)

N/A 0.411 5.738 0.187 0.313 0.284 0.000 0.314 10.695

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 76 144 71 103 231 0 73 98

N.S.

1 1.06 2.00 0.99 1.43 3.21 0.00 1.01 1.36

time (sec)

N/A 0.329 6.129 0.287 0.227 0.276 0.000 0.336 10.276

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 90 135 93 123 334 0 118 144

N.S.

1 1.05 1.57 1.08 1.43 3.88 0.00 1.37 1.67

time (sec)

N/A 0.353 1.062 0.316 0.212 0.270 0.000 0.348 10.985

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 114 190 119 182 428 0 150 183

N.S.

1 1.04 1.73 1.08 1.65 3.89 0.00 1.36 1.66

time (sec)

N/A 0.378 1.512 0.373 0.235 0.283 0.000 0.353 11.051

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 132 287 145 205 528 0 194 239

N.S.

1 1.03 2.24 1.13 1.60 4.12 0.00 1.52 1.87

time (sec)

N/A 0.407 6.413 0.400 0.222 0.293 0.000 0.361 14.327

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 126 252 166 238 247 0 200 437

N.S.

1 0.88 1.76 1.16 1.66 1.73 0.00 1.40 3.06

time (sec)

N/A 0.383 0.864 0.428 0.312 0.262 0.000 0.354 19.522

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 90 158 132 158 197 0 135 287

N.S.

1 0.89 1.56 1.31 1.56 1.95 0.00 1.34 2.84

time (sec)

N/A 0.343 7.318 0.299 0.316 0.260 0.000 0.332 17.126

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 93 224 159 400 108 0 149 172

N.S.

1 0.79 1.91 1.36 3.42 0.92 0.00 1.27 1.47

time (sec)

N/A 0.547 1.181 0.646 0.314 0.267 0.000 0.333 20.419

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 88 191 126 318 98 0 130 131

N.S.

1 0.84 1.82 1.20 3.03 0.93 0.00 1.24 1.25

time (sec)

N/A 0.532 0.898 0.430 0.309 0.287 0.000 0.328 12.946

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 58 106 74 214 75 0 120 73

N.S.

1 0.84 1.54 1.07 3.10 1.09 0.00 1.74 1.06

time (sec)

N/A 0.363 0.172 0.293 0.234 0.254 0.000 0.330 10.108

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 51 106 87 234 75 0 120 86

N.S.

1 0.93 1.93 1.58 4.25 1.36 0.00 2.18 1.56

time (sec)

N/A 0.407 0.697 0.281 0.223 0.256 0.000 0.319 10.542

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 66 106 97 254 73 0 109 99

N.S.

1 0.90 1.45 1.33 3.48 1.00 0.00 1.49 1.36

time (sec)

N/A 0.442 0.742 0.281 0.239 0.257 0.000 0.314 11.309

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 52 106 86 274 75 0 120 112

N.S.

1 0.95 1.93 1.56 4.98 1.36 0.00 2.18 2.04

time (sec)

N/A 0.371 0.591 0.273 0.229 0.261 0.000 0.318 11.812

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 88 267 139 320 149 0 136 143

N.S.

1 0.77 2.32 1.21 2.78 1.30 0.00 1.18 1.24

time (sec)

N/A 0.408 0.997 0.536 0.254 0.288 0.000 0.298 14.153

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 93 341 164 379 194 0 178 257

N.S.

1 0.74 2.71 1.30 3.01 1.54 0.00 1.41 2.04

time (sec)

N/A 0.462 1.051 0.707 0.229 0.291 0.000 0.312 12.169

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 159 267 173 507 150 0 175 198

N.S.

1 1.03 1.72 1.12 3.27 0.97 0.00 1.13 1.28

time (sec)

N/A 0.539 1.395 0.975 0.335 0.269 0.000 0.393 20.744

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 144 257 149 421 140 0 155 156

N.S.

1 1.03 1.84 1.06 3.01 1.00 0.00 1.11 1.11

time (sec)

N/A 0.556 1.153 0.725 0.313 0.282 0.000 0.372 19.244

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 89 126 143 296 104 0 146 160

N.S.

1 1.05 1.48 1.68 3.48 1.22 0.00 1.72 1.88

time (sec)

N/A 0.510 0.684 0.477 0.238 0.262 0.000 0.374 14.105

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 95 126 109 316 103 0 146 184

N.S.

1 1.04 1.38 1.20 3.47 1.13 0.00 1.60 2.02

time (sec)

N/A 0.356 0.524 0.460 0.226 0.246 0.000 0.357 13.950

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 95 126 120 336 104 0 120 207

N.S.

1 1.04 1.38 1.32 3.69 1.14 0.00 1.32 2.27

time (sec)

N/A 0.509 0.765 0.479 0.217 0.282 0.000 0.346 14.891

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 95 126 109 356 103 0 146 231

N.S.

1 1.04 1.38 1.20 3.91 1.13 0.00 1.60 2.54

time (sec)

N/A 0.552 0.882 0.483 0.230 0.277 0.000 0.361 15.991

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 94 134 97 376 104 0 146 254

N.S.

1 1.01 1.44 1.04 4.04 1.12 0.00 1.57 2.73

time (sec)

N/A 0.451 0.672 0.460 0.230 0.266 0.000 0.342 16.045

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 153 352 169 422 200 0 161 169

N.S.

1 1.03 2.36 1.13 2.83 1.34 0.00 1.08 1.13

time (sec)

N/A 0.502 1.055 0.898 0.230 0.280 0.000 0.310 13.284

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 168 442 194 481 250 0 204 331

N.S.

1 1.02 2.70 1.18 2.93 1.52 0.00 1.24 2.02

time (sec)

N/A 0.557 6.257 1.151 0.234 0.293 0.000 0.325 12.031

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 198 277 222 526 292 0 238 243

N.S.

1 1.02 1.43 1.14 2.71 1.51 0.00 1.23 1.25

time (sec)

N/A 0.617 1.152 1.196 0.228 0.305 0.000 0.343 11.790

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 182 273 172 487 177 0 181 169

N.S.

1 1.02 1.53 0.97 2.74 0.99 0.00 1.02 0.95

time (sec)

N/A 0.614 1.214 0.985 0.316 0.271 0.000 0.442 20.068

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 125 185 100 362 130 0 172 184

N.S.

1 1.03 1.53 0.83 2.99 1.07 0.00 1.42 1.52

time (sec)

N/A 0.572 0.943 0.733 0.226 0.278 0.000 0.415 13.746

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 109 185 113 382 128 0 172 208

N.S.

1 1.04 1.76 1.08 3.64 1.22 0.00 1.64 1.98

time (sec)

N/A 0.546 0.729 0.661 0.227 0.282 0.000 0.415 15.308

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 131 185 126 402 130 0 159 232

N.S.

1 1.03 1.46 0.99 3.17 1.02 0.00 1.25 1.83

time (sec)

N/A 0.422 0.598 0.642 0.219 0.278 0.000 0.404 16.411

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 109 185 132 422 130 0 161 255

N.S.

1 1.04 1.76 1.26 4.02 1.24 0.00 1.53 2.43

time (sec)

N/A 0.564 0.709 0.638 0.228 0.269 0.000 0.400 17.320

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 131 185 120 442 130 0 172 279

N.S.

1 1.03 1.46 0.94 3.48 1.02 0.00 1.35 2.20

time (sec)

N/A 0.598 0.858 0.667 0.395 0.274 0.000 0.388 17.371

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 129 185 109 442 130 0 172 279

N.S.

1 1.05 1.50 0.89 3.59 1.06 0.00 1.40 2.27

time (sec)

N/A 0.590 0.685 0.674 0.233 0.295 0.000 0.555 16.004

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 191 204 194 508 250 0 187 195

N.S.

1 1.02 1.09 1.04 2.72 1.34 0.00 1.00 1.04

time (sec)

N/A 0.559 1.471 1.263 0.236 0.302 0.000 0.453 13.259

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 204 230 224 567 297 0 230 390

N.S.

1 1.02 1.15 1.12 2.84 1.48 0.00 1.15 1.95

time (sec)

N/A 0.620 1.145 1.835 0.217 0.301 0.000 0.461 11.731

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 149 166 152 488 153 0 172 279

N.S.

1 1.03 1.14 1.05 3.37 1.06 0.00 1.19 1.92

time (sec)

N/A 0.494 0.800 1.477 0.229 0.300 0.000 0.728 18.458

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 149 166 143 508 154 0 198 303

N.S.

1 1.03 1.14 0.99 3.50 1.06 0.00 1.37 2.09

time (sec)

N/A 0.631 0.910 0.889 0.215 0.267 0.000 0.907 16.958

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 210 166 132 528 153 0 198 327

N.S.

1 1.47 1.16 0.92 3.69 1.07 0.00 1.38 2.29

time (sec)

N/A 1.047 1.087 0.919 0.282 0.283 0.000 0.446 16.892

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 130 146 167 106 172 0 113 286

N.S.

1 0.98 1.10 1.26 0.80 1.29 0.00 0.85 2.15

time (sec)

N/A 0.310 0.310 0.521 0.205 0.278 0.000 0.341 9.950

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 104 136 121 95 159 0 101 235

N.S.

1 0.90 1.18 1.05 0.83 1.38 0.00 0.88 2.04

time (sec)

N/A 0.255 0.190 0.430 0.210 0.297 0.000 0.331 10.355

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 92 115 111 86 136 0 93 205

N.S.

1 0.88 1.10 1.06 0.82 1.30 0.00 0.89 1.95

time (sec)

N/A 0.280 0.187 0.353 0.214 0.306 0.000 0.323 10.119

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 73 93 98 86 136 0 90 167

N.S.

1 0.87 1.11 1.17 1.02 1.62 0.00 1.07 1.99

time (sec)

N/A 0.282 0.012 0.355 0.204 0.266 0.000 0.321 14.744

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 78 74 88 84 135 0 91 167

N.S.

1 0.93 0.88 1.05 1.00 1.61 0.00 1.08 1.99

time (sec)

N/A 0.294 0.020 0.271 0.201 0.272 0.000 0.322 15.396

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 74 80 84 135 0 91 167

N.S.

1 1.00 1.21 1.31 1.38 2.21 0.00 1.49 2.74

time (sec)

N/A 0.269 0.009 0.414 0.204 0.281 0.000 0.313 15.739

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 115 82 95 175 0 104 99

N.S.

1 1.00 0.98 0.70 0.81 1.50 0.00 0.89 0.85

time (sec)

N/A 0.302 0.020 0.471 0.191 0.278 0.000 0.315 0.157

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 128 86 101 114 229 0 121 118

N.S.

1 0.99 0.67 0.78 0.88 1.78 0.00 0.94 0.91

time (sec)

N/A 0.319 0.015 0.596 0.206 0.277 0.000 0.332 0.117

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 141 100 129 127 294 0 125 134

N.S.

1 0.99 0.70 0.90 0.89 2.06 0.00 0.87 0.94

time (sec)

N/A 0.329 0.022 0.602 0.203 0.308 0.000 0.347 10.725

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 159 104 147 138 343 0 149 145

N.S.

1 0.98 0.64 0.91 0.85 2.12 0.00 0.92 0.90

time (sec)

N/A 0.338 0.014 0.684 0.263 0.274 0.000 0.358 0.126

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 108 75 173 96 168 0 102 283

N.S.

1 0.91 0.63 1.45 0.81 1.41 0.00 0.86 2.38

time (sec)

N/A 0.274 0.150 0.386 0.202 0.290 0.000 0.335 10.275

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 88 67 155 83 154 0 88 225

N.S.

1 0.87 0.66 1.53 0.82 1.52 0.00 0.87 2.23

time (sec)

N/A 0.307 0.087 0.339 0.203 0.274 0.000 0.336 9.854

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 77 91 125 72 125 0 78 166

N.S.

1 0.89 1.05 1.44 0.83 1.44 0.00 0.90 1.91

time (sec)

N/A 0.307 0.251 0.266 0.217 0.273 0.000 0.330 10.495

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 57 39 102 72 125 0 77 123

N.S.

1 0.89 0.61 1.59 1.12 1.95 0.00 1.20 1.92

time (sec)

N/A 0.302 0.084 0.240 0.246 0.273 0.000 0.339 11.996

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 59 36 92 64 120 0 95 106

N.S.

1 0.92 0.56 1.44 1.00 1.88 0.00 1.48 1.66

time (sec)

N/A 0.274 0.059 0.218 0.223 0.279 0.000 0.328 13.351

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 98 66 100 84 166 0 91 91

N.S.

1 0.97 0.65 0.99 0.83 1.64 0.00 0.90 0.90

time (sec)

N/A 0.306 0.207 0.346 0.206 0.274 0.000 0.337 0.101

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 110 74 154 104 240 0 115 110

N.S.

1 0.95 0.64 1.33 0.90 2.07 0.00 0.99 0.95

time (sec)

N/A 0.335 0.210 0.464 0.216 0.280 0.000 0.342 9.858

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 125 84 166 119 302 0 125 126

N.S.

1 0.93 0.63 1.24 0.89 2.25 0.00 0.93 0.94

time (sec)

N/A 0.348 0.542 0.482 0.202 0.290 0.000 0.369 0.113

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 138 133 204 133 370 0 142 140

N.S.

1 0.92 0.89 1.36 0.89 2.47 0.00 0.95 0.93

time (sec)

N/A 0.363 6.044 0.580 0.217 0.300 0.000 0.491 0.126

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 101 73 150 96 141 0 242 321

N.S.

1 0.89 0.64 1.32 0.84 1.24 0.00 2.12 2.82

time (sec)

N/A 0.280 0.219 0.421 0.254 0.289 0.000 0.486 12.342

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 87 61 139 82 128 0 209 263

N.S.

1 0.91 0.64 1.45 0.85 1.33 0.00 2.18 2.74

time (sec)

N/A 0.298 0.186 0.330 0.212 0.268 0.000 0.509 12.683

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 70 53 128 70 110 0 178 205

N.S.

1 0.90 0.68 1.64 0.90 1.41 0.00 2.28 2.63

time (sec)

N/A 0.306 0.170 0.279 0.208 0.277 0.000 0.462 10.793

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 58 45 98 59 86 0 125 313

N.S.

1 0.91 0.70 1.53 0.92 1.34 0.00 1.95 4.89

time (sec)

N/A 0.292 0.111 0.239 0.231 0.269 0.000 0.473 10.879

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 30 33 42 44 0 32 30

N.S.

1 1.00 0.97 1.06 1.35 1.42 0.00 1.03 0.97

time (sec)

N/A 0.225 0.025 0.163 0.219 0.249 0.000 0.339 9.827

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 75 54 50 70 126 0 123 61

N.S.

1 0.97 0.70 0.65 0.91 1.64 0.00 1.60 0.79

time (sec)

N/A 0.289 0.200 0.317 0.210 0.277 0.000 0.346 9.914

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 88 63 137 90 185 0 166 80

N.S.

1 0.95 0.68 1.47 0.97 1.99 0.00 1.78 0.86

time (sec)

N/A 0.317 0.172 0.345 0.216 0.273 0.000 0.390 0.090

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 103 73 178 103 235 0 198 97

N.S.

1 0.93 0.66 1.60 0.93 2.12 0.00 1.78 0.87

time (sec)

N/A 0.330 0.532 0.385 0.215 0.286 0.000 0.412 0.111

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 220 153 143 209 207 0 179 567

N.S.

1 0.93 0.65 0.61 0.89 0.88 0.00 0.76 2.40

time (sec)

N/A 0.434 6.094 2.934 0.210 0.312 0.000 0.421 11.894

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 207 143 133 197 197 0 161 512

N.S.

1 0.94 0.65 0.60 0.90 0.90 0.00 0.73 2.33

time (sec)

N/A 0.411 6.103 2.310 0.228 0.315 0.000 0.452 11.066

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 183 133 121 186 187 0 147 485

N.S.

1 0.92 0.67 0.61 0.93 0.94 0.00 0.74 2.44

time (sec)

N/A 0.394 6.098 1.758 0.220 0.322 0.000 0.414 11.304

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 171 117 115 175 167 0 136 432

N.S.

1 0.91 0.62 0.61 0.93 0.89 0.00 0.72 2.30

time (sec)

N/A 0.369 2.571 1.450 0.215 0.292 0.000 0.407 9.997

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 136 101 115 175 167 0 136 388

N.S.

1 1.05 0.78 0.88 1.35 1.28 0.00 1.05 2.98

time (sec)

N/A 0.727 0.647 0.926 0.222 0.302 0.000 0.404 18.587

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 139 101 115 175 167 0 136 388

N.S.

1 1.04 0.75 0.86 1.31 1.25 0.00 1.01 2.90

time (sec)

N/A 0.798 0.647 0.922 0.211 0.282 0.000 0.401 21.577

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 154 92 103 173 167 0 136 388

N.S.

1 1.01 0.61 0.68 1.14 1.10 0.00 0.89 2.55

time (sec)

N/A 0.845 0.552 0.921 0.211 0.285 0.000 0.407 20.708

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 152 101 115 175 167 0 136 388

N.S.

1 1.01 0.67 0.77 1.17 1.11 0.00 0.91 2.59

time (sec)

N/A 0.826 0.438 0.920 0.225 0.276 0.000 0.381 19.521

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 152 92 103 175 167 0 136 388

N.S.

1 1.01 0.61 0.69 1.17 1.11 0.00 0.91 2.59

time (sec)

N/A 0.830 0.978 0.939 0.216 0.282 0.000 0.383 19.192

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 150 92 103 175 167 0 136 388

N.S.

1 1.01 0.62 0.70 1.18 1.13 0.00 0.92 2.62

time (sec)

N/A 0.854 0.409 0.993 0.218 0.279 0.000 0.372 19.194

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 136 92 103 175 167 0 136 388

N.S.

1 1.05 0.71 0.79 1.35 1.28 0.00 1.05 2.98

time (sec)

N/A 0.749 0.740 0.970 0.210 0.282 0.000 0.447 19.515

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 158 145 115 175 167 0 136 158

N.S.

1 0.96 0.88 0.70 1.06 1.01 0.00 0.82 0.96

time (sec)

N/A 0.321 0.339 0.977 0.225 0.301 0.000 0.427 0.272

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 194 189 122 187 202 0 149 191

N.S.

1 0.96 0.94 0.60 0.93 1.00 0.00 0.74 0.95

time (sec)

N/A 0.399 6.097 1.721 0.213 0.282 0.000 0.415 0.186

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 206 201 134 205 258 0 170 212

N.S.

1 0.95 0.93 0.62 0.94 1.19 0.00 0.78 0.98

time (sec)

N/A 0.421 6.098 1.792 0.223 0.296 0.000 0.449 10.219

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 218 213 142 217 311 0 182 223

N.S.

1 0.94 0.92 0.61 0.94 1.34 0.00 0.78 0.96

time (sec)

N/A 0.434 6.105 1.951 0.217 0.312 0.000 0.465 10.039

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 236 231 154 227 360 0 187 233

N.S.

1 0.93 0.91 0.61 0.90 1.42 0.00 0.74 0.92

time (sec)

N/A 0.449 6.102 3.129 0.212 0.303 0.000 0.578 9.570

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 139 113 91 115 0 138 215

N.S.

1 1.00 1.53 1.24 1.00 1.26 0.00 1.52 2.36

time (sec)

N/A 0.400 4.094 0.270 0.207 0.266 0.000 0.369 15.169

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 245 169 155 236 217 0 181 648

N.S.

1 0.93 0.64 0.59 0.89 0.82 0.00 0.69 2.45

time (sec)

N/A 0.460 6.114 4.704 0.225 0.314 0.000 0.453 13.562

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 225 159 147 225 207 0 167 595

N.S.

1 0.91 0.64 0.60 0.91 0.84 0.00 0.68 2.41

time (sec)

N/A 0.449 6.117 3.640 0.215 0.313 0.000 0.444 11.776

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 210 137 139 214 187 0 156 539

N.S.

1 0.90 0.59 0.60 0.92 0.80 0.00 0.67 2.31

time (sec)

N/A 0.415 4.824 2.739 0.214 0.293 0.000 0.430 10.606

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 162 122 139 214 187 0 156 497

N.S.

1 1.05 0.79 0.90 1.39 1.21 0.00 1.01 3.23

time (sec)

N/A 0.848 1.554 1.806 0.228 0.288 0.000 0.433 17.975

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 167 121 139 214 187 0 156 496

N.S.

1 1.04 0.76 0.87 1.34 1.17 0.00 0.98 3.10

time (sec)

N/A 0.961 1.580 1.736 0.220 0.310 0.000 0.439 17.261

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 182 124 127 214 187 0 156 496

N.S.

1 1.02 0.70 0.71 1.20 1.05 0.00 0.88 2.79

time (sec)

N/A 1.010 1.109 1.657 0.210 0.313 0.000 0.424 18.750

[next] [prev] [prev-tail] [front] [up]